[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

236 236 226 371 338 211 1231 197 -1 237

N.S.

1 1.00 0.96 1.57 1.43 0.89 5.22 0.83 -0.00 1.00

time (sec)

N/A 0.470 0.506 0.059 0.996 1.496 22.934 0.224 0.000 0.825

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

186 186 190 304 202 173 670 160 -1 199

N.S.

1 1.00 1.02 1.63 1.09 0.93 3.60 0.86 -0.01 1.07

time (sec)

N/A 0.227 0.299 0.017 0.976 1.105 12.771 0.213 0.000 0.694

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

125 125 121 154 116 108 343 85 -1 124

N.S.

1 1.00 0.97 1.23 0.93 0.86 2.74 0.68 -0.01 0.99

time (sec)

N/A 0.069 0.133 0.007 0.964 1.468 7.108 0.202 0.000 0.400

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 148 103 384 171 112 0 0 -1 130

N.S.

1 1.00 0.70 2.59 1.16 0.76 0.00 0.00 -0.01 0.88

time (sec)

N/A 0.176 0.221 0.023 1.086 1.436 0.000 0.000 0.000 0.506

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

170 170 109 439 197 190 0 0 -1 134

N.S.

1 1.00 0.64 2.58 1.16 1.12 0.00 0.00 -0.01 0.79

time (sec)

N/A 0.203 0.227 0.028 1.014 1.413 0.000 0.000 0.000 0.567

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-1) A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 114 318 0 258 0 0 -1 139

N.S.

1 1.00 0.77 2.13 0.00 1.73 0.00 0.00 -0.01 0.93

time (sec)

N/A 0.189 0.221 0.018 0.000 1.001 0.000 0.000 0.000 0.748

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

196 196 112 453 0 304 0 0 -1 158

N.S.

1 1.00 0.57 2.31 0.00 1.55 0.00 0.00 -0.01 0.81

time (sec)

N/A 0.184 0.298 0.017 0.000 0.997 0.000 0.000 0.000 0.938

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

180 180 109 116 945 320 0 0 601 149

N.S.

1 1.00 0.61 0.64 5.25 1.78 0.00 0.00 3.34 0.83

time (sec)

N/A 0.210 0.203 0.009 0.542 0.785 0.000 0.000 4.670 0.913

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F(-1) F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 144 152 1378 399 0 0 960 185

N.S.

1 1.00 0.62 0.65 5.89 1.71 0.00 0.00 4.10 0.79

time (sec)

N/A 0.264 0.225 0.011 0.575 1.018 0.000 0.000 5.243 1.068

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

236 236 174 374 390 178 1268 166 -1 201

N.S.

1 1.00 0.74 1.58 1.65 0.75 5.37 0.70 -0.00 0.85

time (sec)

N/A 0.657 0.453 0.031 0.979 0.867 24.443 0.368 0.000 0.742

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

191 191 139 301 253 145 891 131 -1 165

N.S.

1 1.00 0.73 1.58 1.32 0.76 4.66 0.69 -0.01 0.86

time (sec)

N/A 0.378 0.177 0.012 0.983 1.137 18.032 0.316 0.000 0.590

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 103 234 150 109 484 97 270 129

N.S.

1 1.00 0.72 1.64 1.05 0.76 3.38 0.68 1.89 0.90

time (sec)

N/A 0.199 0.107 0.011 0.979 0.789 10.172 0.292 5.012 0.488

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

87 87 67 108 70 71 262 52 148 90

N.S.

1 1.00 0.77 1.24 0.80 0.82 3.01 0.60 1.70 1.03

time (sec)

N/A 0.051 0.040 0.006 0.988 1.037 4.560 0.344 4.399 0.339

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 83 149 138 155 0 0 -1 105

N.S.

1 1.00 0.81 1.45 1.34 1.50 0.00 0.00 -0.01 1.02

time (sec)

N/A 0.121 0.158 0.014 0.994 0.721 0.000 0.000 0.000 0.489

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

163 163 95 355 317 221 0 0 -1 122

N.S.

1 1.00 0.58 2.18 1.94 1.36 0.00 0.00 -0.01 0.75

time (sec)

N/A 0.169 0.218 0.016 0.995 0.985 0.000 0.000 0.000 0.748

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

180 180 103 116 608 244 0 0 109 113

N.S.

1 1.00 0.57 0.64 3.38 1.36 0.00 0.00 0.61 0.63

time (sec)

N/A 0.205 0.197 0.012 1.015 1.744 0.000 0.000 3.795 0.730

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 139 152 975 320 0 0 204 149

N.S.

1 1.00 0.59 0.65 4.17 1.37 0.00 0.00 0.87 0.64

time (sec)

N/A 0.249 0.221 0.010 1.061 1.184 0.000 0.000 3.776 0.850

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 173 208 217 202 248 257 242 206 0

N.S.

1 0.99 1.19 1.24 1.15 1.42 1.47 1.38 1.18 0.00

time (sec)

N/A 0.313 0.087 0.002 0.446 0.937 0.117 0.170 0.088 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 173 150 148 141 171 173 171 143 0

N.S.

1 0.99 0.86 0.85 0.81 0.98 0.99 0.98 0.82 0.00

time (sec)

N/A 0.216 0.060 0.001 0.448 0.966 0.095 0.152 3.614 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 86 79 80 94 97 100 80 0

N.S.

1 1.00 1.00 0.92 0.93 1.09 1.13 1.16 0.93 0.00

time (sec)

N/A 0.106 0.029 0.001 0.452 0.832 0.082 0.154 3.561 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 46 39 38 40 42 40 39 0

N.S.

1 1.00 1.00 0.85 0.83 0.87 0.91 0.87 0.85 0.00

time (sec)

N/A 0.029 0.013 0.002 0.440 1.262 0.072 0.157 0.025 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

145 143 136 210 159 161 148 170 175 0

N.S.

1 0.99 0.94 1.45 1.10 1.11 1.02 1.17 1.21 0.00

time (sec)

N/A 0.245 0.074 0.008 0.448 1.078 0.638 0.151 3.623 0.001

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

153 151 142 234 169 250 185 240 192 0

N.S.

1 0.99 0.93 1.53 1.10 1.63 1.21 1.57 1.25 0.00

time (sec)

N/A 0.205 0.154 0.010 0.451 0.826 1.257 0.163 0.090 0.001

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 154 176 257 177 273 206 167 185 0

N.S.

1 0.99 1.13 1.65 1.13 1.75 1.32 1.07 1.19 0.00

time (sec)

N/A 0.199 0.100 0.010 0.471 0.920 5.288 0.152 0.095 0.001

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

304 301 335 385 360 432 445 423 332 0

N.S.

1 0.99 1.10 1.27 1.18 1.42 1.46 1.39 1.09 0.00

time (sec)

N/A 0.535 0.131 0.002 0.450 0.751 0.134 0.159 0.140 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

217 216 241 268 257 302 311 302 244 0

N.S.

1 1.00 1.11 1.24 1.18 1.39 1.43 1.39 1.12 0.00

time (sec)

N/A 0.313 0.090 0.001 0.441 0.846 0.124 0.168 3.724 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

128 128 144 151 154 172 180 181 140 0

N.S.

1 1.00 1.12 1.18 1.20 1.34 1.41 1.41 1.09 0.00

time (sec)

N/A 0.159 0.051 0.001 0.447 0.882 0.097 0.152 3.695 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 69 75 74 76 83 76 74 0

N.S.

1 1.00 1.03 1.12 1.10 1.13 1.24 1.13 1.10 0.00

time (sec)

N/A 0.040 0.031 0.001 0.438 0.618 0.081 0.151 0.038 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

297 295 285 490 377 379 359 416 422 0

N.S.

1 0.99 0.96 1.65 1.27 1.28 1.21 1.40 1.42 0.00

time (sec)

N/A 0.640 0.169 0.008 0.485 1.015 0.937 0.158 3.685 0.001

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

292 289 272 527 392 553 416 497 575 0

N.S.

1 0.99 0.93 1.80 1.34 1.89 1.42 1.70 1.97 0.00

time (sec)

N/A 0.525 0.281 0.012 0.478 1.611 2.785 0.185 0.121 0.001

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

295 292 274 563 402 608 474 397 495 0

N.S.

1 0.99 0.93 1.91 1.36 2.06 1.61 1.35 1.68 0.00

time (sec)

N/A 0.495 0.122 0.014 0.494 0.628 14.200 0.160 3.825 0.001

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

404 400 459 553 512 618 646 606 490 0

N.S.

1 0.99 1.14 1.37 1.27 1.53 1.60 1.50 1.21 0.00

time (sec)

N/A 0.691 0.208 0.001 0.470 0.632 0.161 0.202 4.050 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

289 288 329 388 367 432 447 432 343 0

N.S.

1 1.00 1.14 1.34 1.27 1.49 1.55 1.49 1.19 0.00

time (sec)

N/A 0.424 0.130 0.001 0.454 0.906 0.147 0.155 3.938 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

169 169 196 223 222 249 265 261 187 0

N.S.

1 1.00 1.16 1.32 1.31 1.47 1.57 1.54 1.11 0.00

time (sec)

N/A 0.187 0.070 0.000 0.440 0.695 0.114 0.185 0.099 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

87 87 100 111 108 111 122 111 103 0

N.S.

1 1.00 1.15 1.28 1.24 1.28 1.40 1.28 1.18 0.00

time (sec)

N/A 0.058 0.031 0.001 0.432 0.689 0.086 0.186 0.057 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

490 487 498 880 672 674 685 764 741 0

N.S.

1 0.99 1.02 1.80 1.37 1.38 1.40 1.56 1.51 0.00

time (sec)

N/A 1.098 0.474 0.009 0.487 1.411 1.467 0.167 3.877 0.001

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

486 483 641 928 691 932 748 838 1511 0

N.S.

1 0.99 1.32 1.91 1.42 1.92 1.54 1.72 3.11 0.00

time (sec)

N/A 0.980 0.397 0.017 0.487 0.996 4.949 0.196 3.986 0.001

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

466 463 438 978 701 1025 816 727 1290 0

N.S.

1 0.99 0.94 2.10 1.50 2.20 1.75 1.56 2.77 0.00

time (sec)

N/A 0.967 0.225 0.017 0.530 0.874 25.279 0.174 3.936 0.001

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 62 76 82 78 73 111 85 0

N.S.

1 1.00 3.65 4.47 4.82 4.59 4.29 6.53 5.00 0.00

time (sec)

N/A 0.032 0.037 0.006 0.458 0.877 0.368 0.175 0.077 0.001

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 62 76 82 78 73 111 85 0

N.S.

1 1.00 3.65 4.47 4.82 4.59 4.29 6.53 5.00 0.00

time (sec)

N/A 0.019 0.016 0.005 0.466 0.778 0.367 0.155 3.836 0.001

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 90 157 160 120 153 216 252 0

N.S.

1 1.00 5.29 9.24 9.41 7.06 9.00 12.71 14.82 0.00

time (sec)

N/A 0.046 0.042 0.007 0.452 0.652 0.587 0.183 3.777 0.001

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 90 157 160 120 153 216 252 0

N.S.

1 1.00 5.29 9.24 9.41 7.06 9.00 12.71 14.82 0.00

time (sec)

N/A 0.025 0.025 0.006 0.444 1.000 0.610 0.199 0.049 0.001

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

240 237 223 399 244 592 1008 279 277 0

N.S.

1 0.99 0.93 1.66 1.02 2.47 4.20 1.16 1.15 0.00

time (sec)

N/A 0.471 0.243 0.011 0.982 1.069 5.462 0.170 3.990 0.001

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

168 166 155 256 161 404 638 176 181 0

N.S.

1 0.99 0.92 1.52 0.96 2.40 3.80 1.05 1.08 0.00

time (sec)

N/A 0.262 0.167 0.007 0.990 1.021 3.150 0.157 3.899 0.001

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

93 93 86 133 86 206 337 91 97 0

N.S.

1 1.00 0.92 1.43 0.92 2.22 3.62 0.98 1.04 0.00

time (sec)

N/A 0.117 0.087 0.006 0.972 1.120 1.660 0.158 3.780 0.001

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 56 59 48 125 156 48 56 0

N.S.

1 1.00 1.02 1.07 0.87 2.27 2.84 0.87 1.02 0.00

time (sec)

N/A 0.053 0.041 0.003 0.966 1.162 0.486 0.159 3.731 0.001

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

133 133 120 247 123 262 0 125 840 0

N.S.

1 1.00 0.90 1.86 0.92 1.97 0.00 0.94 6.32 0.00

time (sec)

N/A 0.162 0.102 0.008 0.969 19.015 0.000 0.159 6.490 0.001

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

214 214 188 462 255 904 0 270 1199 0

N.S.

1 1.00 0.88 2.16 1.19 4.22 0.00 1.26 5.60 0.00

time (sec)

N/A 0.355 0.312 0.010 1.035 72.027 0.000 0.170 6.773 0.001

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

305 305 277 754 495 0 0 489 2980 0

N.S.

1 1.00 0.91 2.47 1.62 0.00 0.00 1.60 9.77 0.00

time (sec)

N/A 0.651 0.309 0.015 1.052 0.000 0.000 0.197 9.186 0.001

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

216 216 233 484 287 931 952 289 303 0

N.S.

1 1.00 1.08 2.24 1.33 4.31 4.41 1.34 1.40 0.00

time (sec)

N/A 0.505 0.204 0.015 0.984 1.072 34.457 0.174 4.014 0.001

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

146 146 175 323 188 631 593 184 195 0

N.S.

1 1.00 1.20 2.21 1.29 4.32 4.06 1.26 1.34 0.00

time (sec)

N/A 0.245 0.138 0.013 0.965 0.836 18.398 0.170 0.229 0.001

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 102 134 113 337 318 112 191 0

N.S.

1 1.00 1.05 1.38 1.16 3.47 3.28 1.15 1.97 0.00

time (sec)

N/A 0.082 0.095 0.009 0.972 0.531 6.411 0.218 0.139 0.001

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

69 69 68 76 62 195 116 60 60 0

N.S.

1 1.00 0.99 1.10 0.90 2.83 1.68 0.87 0.87 0.00

time (sec)

N/A 0.043 0.052 0.008 0.965 2.999 0.654 0.183 0.100 0.001

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

226 226 195 742 293 1024 0 350 1493 0

N.S.

1 1.00 0.86 3.28 1.30 4.53 0.00 1.55 6.61 0.00

time (sec)

N/A 0.435 0.224 0.017 1.002 83.522 0.000 0.193 7.675 0.001

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

374 371 320 1036 604 0 0 608 2094 0

N.S.

1 0.99 0.86 2.77 1.61 0.00 0.00 1.63 5.60 0.00

time (sec)

N/A 0.950 0.413 0.023 1.039 0.000 0.000 0.190 9.909 0.001

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

524 524 466 1588 1030 0 0 957 2828 0

N.S.

1 1.00 0.89 3.03 1.97 0.00 0.00 1.83 5.40 0.00

time (sec)

N/A 1.552 0.630 0.027 1.215 0.000 0.000 0.185 14.480 0.001

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

209 209 281 402 379 1138 0 348 920 0

N.S.

1 1.00 1.34 1.92 1.81 5.44 0.00 1.67 4.40 0.00

time (sec)

N/A 0.304 0.247 0.013 1.001 1.056 0.000 0.269 1.767 0.001

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 175 211 283 253 806 391 254 230 0

N.S.

1 1.12 1.35 1.81 1.62 5.17 2.51 1.63 1.47 0.00

time (sec)

N/A 0.231 0.139 0.010 0.995 1.022 141.179 0.160 3.959 0.001

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 137 157 160 470 240 152 128 0

N.S.

1 1.00 1.05 1.21 1.23 3.62 1.85 1.17 0.98 0.00

time (sec)

N/A 0.108 0.101 0.009 0.983 0.902 32.420 0.185 0.150 0.001

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 90 96 98 314 156 84 88 0

N.S.

1 1.00 0.92 0.98 1.00 3.20 1.59 0.86 0.90 0.00

time (sec)

N/A 0.063 0.070 0.007 0.971 1.038 1.234 0.162 3.843 0.001

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

353 353 321 1598 655 0 0 715 2392 0

N.S.

1 1.00 0.91 4.53 1.86 0.00 0.00 2.03 6.78 0.00

time (sec)

N/A 0.734 0.424 0.023 1.097 0.000 0.000 0.177 9.900 0.001

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

571 566 498 2159 1196 0 0 1107 6848 0

N.S.

1 0.99 0.87 3.78 2.09 0.00 0.00 1.94 11.99 0.00

time (sec)

N/A 1.925 0.764 0.031 1.239 0.000 0.000 0.235 6.657 0.001

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

753 753 672 2737 1835 0 0 1532 8774 0

N.S.

1 1.00 0.89 3.63 2.44 0.00 0.00 2.03 11.65 0.00

time (sec)

N/A 3.143 1.078 0.037 1.274 0.000 0.000 0.201 7.244 0.001

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 437 647 599 1864 0 636 669 0

N.S.

1 1.00 1.87 2.76 2.56 7.97 0.00 2.72 2.86 0.00

time (sec)

N/A 0.291 0.306 0.013 1.042 1.550 0.000 0.178 4.382 0.001

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

254 288 350 464 457 1378 0 475 402 0

N.S.

1 1.13 1.38 1.83 1.80 5.43 0.00 1.87 1.58 0.00

time (sec)

N/A 0.542 0.297 0.011 1.018 1.673 0.000 0.166 4.069 0.001

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

225 225 266 333 323 1062 0 328 287 0

N.S.

1 1.00 1.18 1.48 1.44 4.72 0.00 1.46 1.28 0.00

time (sec)

N/A 0.398 0.161 0.012 1.005 0.921 0.000 0.166 0.227 0.001

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

165 165 171 182 208 636 298 194 164 0

N.S.

1 1.00 1.04 1.10 1.26 3.85 1.81 1.18 0.99 0.00

time (sec)

N/A 0.136 0.134 0.010 0.981 0.595 139.971 0.157 3.936 0.001

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

126 126 112 113 133 430 196 109 116 0

N.S.

1 1.00 0.89 0.90 1.06 3.41 1.56 0.87 0.92 0.00

time (sec)

N/A 0.078 0.088 0.010 0.976 0.622 2.078 0.180 3.895 0.001

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 29 30 29 46 29 29 30 0

N.S.

1 1.00 0.67 0.70 0.67 1.07 0.67 0.67 0.70 0.00

time (sec)

N/A 0.050 0.019 0.008 0.953 0.917 0.129 0.148 0.035 0.001

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

30 30 27 24 23 40 20 23 23 0

N.S.

1 1.00 0.90 0.80 0.77 1.33 0.67 0.77 0.77 0.00

time (sec)

N/A 0.040 0.021 0.008 0.959 0.603 0.124 0.211 0.035 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

29 29 23 24 23 33 20 23 25 0

N.S.

1 1.00 0.79 0.83 0.79 1.14 0.69 0.79 0.86 0.00

time (sec)

N/A 0.025 0.009 0.005 0.963 0.591 0.127 0.153 0.031 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

14 14 14 13 12 20 10 12 14 0

N.S.

1 1.00 1.00 0.93 0.86 1.43 0.71 0.86 1.00 0.00

time (sec)

N/A 0.011 0.007 0.005 0.955 0.732 0.114 0.148 3.797 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 28 26 25 41 24 26 32 0

N.S.

1 1.00 0.90 0.84 0.81 1.32 0.77 0.84 1.03 0.00

time (sec)

N/A 0.039 0.010 0.008 0.956 1.084 0.159 0.154 0.042 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

33 33 33 30 34 49 31 35 38 0

N.S.

1 1.00 1.00 0.91 1.03 1.48 0.94 1.06 1.15 0.00

time (sec)

N/A 0.045 0.016 0.009 0.952 2.965 0.161 0.184 3.808 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 39 38 41 61 42 43 47 0

N.S.

1 1.00 0.87 0.84 0.91 1.36 0.93 0.96 1.04 0.00

time (sec)

N/A 0.063 0.016 0.010 0.971 0.606 0.176 0.162 0.038 0.001

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

12 22 12 13 12 18 8 12 12 0

N.S.

1 1.83 1.00 1.08 1.00 1.50 0.67 1.00 1.00 0.00

time (sec)

N/A 0.007 0.012 0.004 0.951 1.557 0.115 0.150 0.031 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 27 21 21 25 20 21 21 0

N.S.

1 1.00 1.00 0.78 0.78 0.93 0.74 0.78 0.78 0.00

time (sec)

N/A 0.014 0.011 0.006 0.965 0.957 0.127 0.183 3.830 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

390 387 362 661 436 855 1088 475 -1 474

N.S.

1 0.99 0.93 1.69 1.12 2.19 2.79 1.22 -0.00 1.22

time (sec)

N/A 0.830 0.457 0.018 0.466 2.152 28.367 0.227 0.000 1.268

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

280 279 256 446 305 595 738 321 -1 302

N.S.

1 1.00 0.91 1.59 1.09 2.12 2.64 1.15 -0.00 1.08

time (sec)

N/A 0.498 0.646 0.009 0.463 0.800 21.001 0.206 0.000 0.912

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 175 153 230 169 329 384 180 -1 169

N.S.

1 1.00 0.87 1.31 0.97 1.88 2.19 1.03 -0.01 0.97

time (sec)

N/A 0.268 0.417 0.007 0.449 1.705 11.876 0.208 0.000 0.538

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 98 111 96 190 170 87 -1 89

N.S.

1 1.00 0.92 1.05 0.91 1.79 1.60 0.82 -0.01 0.84

time (sec)

N/A 0.064 0.204 0.005 0.451 1.051 6.903 0.184 0.000 0.356

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

206 206 224 1265 362 0 0 278 -1 233

N.S.

1 1.00 1.09 6.14 1.76 0.00 0.00 1.35 -0.00 1.13

time (sec)

N/A 0.392 0.436 0.018 0.606 0.000 0.000 0.224 0.000 0.853

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

308 303 264 2818 478 0 0 0 -1 316

N.S.

1 0.98 0.86 9.15 1.55 0.00 0.00 0.00 -0.00 1.03

time (sec)

N/A 0.509 0.258 0.016 0.647 0.000 0.000 0.000 0.000 1.265

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

296 295 318 4432 927 0 0 923 -1 411

N.S.

1 1.00 1.07 14.97 3.13 0.00 0.00 3.12 -0.00 1.39

time (sec)

N/A 0.546 0.561 0.016 0.703 0.000 0.000 0.353 0.000 2.375

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

314 314 382 5565 1772 0 0 1719 -1 0

N.S.

1 1.00 1.22 17.72 5.64 0.00 0.00 5.47 -0.00 0.00

time (sec)

N/A 0.505 0.825 0.015 0.841 0.000 0.000 0.503 0.000 180.124

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

313 312 439 7237 3404 0 0 0 -1 4080

N.S.

1 1.00 1.40 23.12 10.88 0.00 0.00 0.00 -0.00 13.04

time (sec)

N/A 0.429 1.305 0.020 1.140 0.000 0.000 0.000 0.000 122.079

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F(-1) B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

433 432 583 8546 5793 0 0 4212 -1 0

N.S.

1 1.00 1.35 19.74 13.38 0.00 0.00 9.73 -0.00 0.00

time (sec)

N/A 0.743 1.619 0.025 1.525 0.000 0.000 0.656 0.000 180.011

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

462 462 481 794 525 1177 1916 652 -1 660

N.S.

1 1.00 1.04 1.72 1.14 2.55 4.15 1.41 -0.00 1.43

time (sec)

N/A 1.134 0.541 0.018 0.456 0.981 72.414 0.274 0.000 1.858

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

346 345 346 552 380 831 1304 452 -1 434

N.S.

1 1.00 1.00 1.60 1.10 2.40 3.77 1.31 -0.00 1.25

time (sec)

N/A 0.524 1.095 0.010 0.452 1.108 54.496 0.264 0.000 1.367

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

213 212 209 287 211 477 768 264 -1 247

N.S.

1 1.00 0.98 1.35 0.99 2.24 3.61 1.24 -0.00 1.16

time (sec)

N/A 0.271 0.633 0.005 0.447 1.760 27.893 0.254 0.000 0.903

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

137 137 125 146 131 262 348 129 -1 125

N.S.

1 1.00 0.91 1.07 0.96 1.91 2.54 0.94 -0.01 0.91

time (sec)

N/A 0.083 0.257 0.006 0.448 1.284 17.013 0.234 0.000 0.447

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

326 326 348 2420 632 0 0 551 -1 551

N.S.

1 1.00 1.07 7.42 1.94 0.00 0.00 1.69 -0.00 1.69

time (sec)

N/A 0.766 1.211 0.013 0.789 0.000 0.000 0.293 0.000 1.724

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

432 428 392 5121 708 0 0 0 -1 478

N.S.

1 0.99 0.91 11.85 1.64 0.00 0.00 0.00 -0.00 1.11

time (sec)

N/A 0.901 0.525 0.017 0.783 0.000 0.000 0.000 0.000 2.070

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

488 480 435 7817 1299 0 0 1036 -1 541

N.S.

1 0.98 0.89 16.02 2.66 0.00 0.00 2.12 -0.00 1.11

time (sec)

N/A 0.921 0.655 0.017 0.878 0.000 0.000 0.433 0.000 2.850

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

475 469 517 9835 2415 0 0 1900 -1 0

N.S.

1 0.99 1.09 20.71 5.08 0.00 0.00 4.00 -0.00 0.00

time (sec)

N/A 0.845 1.233 0.021 1.095 0.000 0.000 0.612 0.000 180.169

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

511 511 575 12481 4326 0 0 0 -1 0

N.S.

1 1.00 1.13 24.42 8.47 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 1.092 2.154 0.025 1.503 0.000 0.000 0.000 0.000 180.026

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F(-1) B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

507 507 639 14169 6650 0 0 4408 -1 4966

N.S.

1 1.00 1.26 27.95 13.12 0.00 0.00 8.69 -0.00 9.79

time (sec)

N/A 0.860 2.268 0.029 1.893 0.000 0.000 1.327 0.000 138.616

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F(-1) B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

404 403 696 17026 10724 0 0 6122 -1 0

N.S.

1 1.00 1.72 42.14 26.54 0.00 0.00 15.15 -0.00 0.00

time (sec)

N/A 0.552 2.472 0.038 2.729 0.000 0.000 1.123 0.000 180.028

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-1) F(-1) F(-1) B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

532 531 863 19093 0 0 0 7936 -1 0

N.S.

1 1.00 1.62 35.89 0.00 0.00 0.00 14.92 -0.00 0.00

time (sec)

N/A 0.889 2.495 0.051 0.000 0.000 0.000 1.118 0.000 180.081

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

168 168 150 181 166 333 510 168 -1 161

N.S.

1 1.00 0.89 1.08 0.99 1.98 3.04 1.00 -0.01 0.96

time (sec)

N/A 0.102 0.311 0.009 0.453 1.204 32.916 0.213 0.000 0.545

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

325 323 252 528 349 559 796 314 -1 296

N.S.

1 0.99 0.78 1.62 1.07 1.72 2.45 0.97 -0.00 0.91

time (sec)

N/A 0.664 0.355 0.015 0.452 0.897 22.204 0.255 0.000 0.866

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 222 164 339 230 381 518 206 -1 178

N.S.

1 1.00 0.74 1.52 1.03 1.71 2.32 0.92 -0.00 0.80

time (sec)

N/A 0.372 0.233 0.010 0.453 0.829 15.782 0.230 0.000 0.623

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

136 135 96 172 126 199 282 110 227 99

N.S.

1 0.99 0.71 1.26 0.93 1.46 2.07 0.81 1.67 0.73

time (sec)

N/A 0.179 0.105 0.006 0.436 1.282 9.024 0.211 5.171 0.442

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 63 76 61 124 150 58 107 64

N.S.

1 1.00 0.85 1.03 0.82 1.68 2.03 0.78 1.45 0.86

time (sec)

N/A 0.048 0.038 0.006 0.435 0.868 3.496 0.197 4.559 0.319

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A F(-1) F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

130 130 125 453 218 0 0 138 -1 158

N.S.

1 1.00 0.96 3.48 1.68 0.00 0.00 1.06 -0.01 1.22

time (sec)

N/A 0.174 0.219 0.012 0.564 0.000 0.000 0.223 0.000 0.469

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

168 168 218 923 419 0 0 0 -1 250

N.S.

1 1.00 1.30 5.49 2.49 0.00 0.00 0.00 -0.01 1.49

time (sec)

N/A 0.235 0.363 0.015 0.578 0.000 0.000 0.000 0.000 0.938

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

225 224 254 1574 896 1088 0 848 -1 306

N.S.

1 1.00 1.13 7.00 3.98 4.84 0.00 3.77 -0.00 1.36

time (sec)

N/A 0.292 0.455 0.016 0.672 18.246 0.000 0.263 0.000 1.516

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

229 228 246 516 346 758 0 339 -1 316

N.S.

1 1.00 1.07 2.25 1.51 3.31 0.00 1.48 -0.00 1.38

time (sec)

N/A 0.325 0.450 0.016 0.457 1.004 0.000 0.253 0.000 1.089

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 177 327 227 530 0 219 -1 190

N.S.

1 1.00 1.19 2.19 1.52 3.56 0.00 1.47 -0.01 1.28

time (sec)

N/A 0.184 0.284 0.010 0.448 0.861 0.000 0.247 0.000 0.730

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

100 100 102 163 126 278 209 116 151 104

N.S.

1 1.00 1.02 1.63 1.26 2.78 2.09 1.16 1.51 1.04

time (sec)

N/A 0.087 0.137 0.005 0.437 1.024 18.840 0.250 5.280 0.553

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

61 61 74 69 61 181 87 63 68 62

N.S.

1 1.00 1.21 1.13 1.00 2.97 1.43 1.03 1.11 1.02

time (sec)

N/A 0.036 0.062 0.006 0.430 0.930 8.859 0.201 4.332 0.368

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

138 138 137 862 453 721 0 294 -1 202

N.S.

1 1.00 0.99 6.25 3.28 5.22 0.00 2.13 -0.01 1.46

time (sec)

N/A 0.141 0.177 0.015 0.622 3.202 0.000 0.294 0.000 0.793

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) F(-1) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

239 239 285 1663 1085 1573 0 0 -1 383

N.S.

1 1.00 1.19 6.96 4.54 6.58 0.00 0.00 -0.00 1.60

time (sec)

N/A 0.418 0.608 0.017 0.767 4.363 0.000 0.000 0.000 1.907

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

374 372 404 2584 2254 2853 0 1440 -1 2488

N.S.

1 0.99 1.08 6.91 6.03 7.63 0.00 3.85 -0.00 6.65

time (sec)

N/A 1.028 1.184 0.018 1.017 21.946 0.000 0.394 0.000 17.206

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 50 47 83 68 194 48 59 50

N.S.

1 1.00 0.75 0.70 1.24 1.01 2.90 0.72 0.88 0.75

time (sec)

N/A 0.042 0.032 0.004 0.435 0.746 17.131 0.211 4.222 0.499

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 71 72 118 103 638 80 93 75

N.S.

1 1.00 0.73 0.74 1.22 1.06 6.58 0.82 0.96 0.77

time (sec)

N/A 0.057 0.050 0.004 0.441 0.800 37.219 0.264 4.281 0.603

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

127 127 92 96 153 137 1880 112 115 99

N.S.

1 1.00 0.72 0.76 1.20 1.08 14.80 0.88 0.91 0.78

time (sec)

N/A 0.087 0.065 0.006 0.451 0.709 78.297 0.266 4.375 0.741

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 54 79 78 60 94 54 45 66

N.S.

1 1.00 0.51 0.75 0.74 0.57 0.89 0.51 0.42 0.62

time (sec)

N/A 0.114 0.065 0.013 0.948 0.579 2.203 0.226 0.050 0.337

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 48 65 64 54 75 48 40 58

N.S.

1 1.00 0.59 0.79 0.78 0.66 0.91 0.59 0.49 0.71

time (sec)

N/A 0.088 0.043 0.005 0.959 0.668 1.185 0.202 4.099 0.303

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 44 51 50 49 63 44 35 56

N.S.

1 1.00 0.71 0.82 0.81 0.79 1.02 0.71 0.56 0.90

time (sec)

N/A 0.052 0.027 0.008 0.962 0.719 0.552 0.194 0.034 0.219

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 60 55 58 88 0 99 61 89

N.S.

1 1.00 0.90 0.82 0.87 1.31 0.00 1.48 0.91 1.33

time (sec)

N/A 0.081 0.028 0.009 0.962 0.753 0.000 0.235 0.189 0.393

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 64 65 65 106 0 48 68 97

N.S.

1 1.00 0.90 0.92 0.92 1.49 0.00 0.68 0.96 1.37

time (sec)

N/A 0.070 0.101 0.011 0.969 0.753 0.000 0.320 0.115 0.499

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 55 74 76 89 0 180 77 74

N.S.

1 1.00 0.71 0.96 0.99 1.16 0.00 2.34 1.00 0.96

time (sec)

N/A 0.067 0.064 0.012 0.971 0.643 0.000 0.257 0.111 0.599

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

87 87 58 79 78 76 0 54 110 66

N.S.

1 1.00 0.67 0.91 0.90 0.87 0.00 0.62 1.26 0.76

time (sec)

N/A 0.104 0.055 0.014 0.959 0.806 0.000 0.214 0.059 0.371

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 53 65 64 72 0 49 105 61

N.S.

1 1.00 0.75 0.92 0.90 1.01 0.00 0.69 1.48 0.86

time (sec)

N/A 0.084 0.050 0.006 0.963 0.516 0.000 0.196 4.067 0.365

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 48 51 50 67 114 44 100 56

N.S.

1 1.00 0.87 0.93 0.91 1.22 2.07 0.80 1.82 1.02

time (sec)

N/A 0.044 0.029 0.005 0.959 0.976 15.959 0.235 0.037 0.313

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 51 88 58 83 0 82 106 0

N.S.

1 1.00 0.96 1.66 1.09 1.57 0.00 1.55 2.00 0.00

time (sec)

N/A 0.060 0.023 0.009 0.963 0.542 0.000 0.208 0.136 0.575

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 71 98 84 103 0 168 157 0

N.S.

1 1.00 0.95 1.31 1.12 1.37 0.00 2.24 2.09 0.00

time (sec)

N/A 0.077 0.042 0.012 0.965 0.838 0.000 0.274 4.145 0.683

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 78 107 124 119 0 196 180 84

N.S.

1 1.00 0.80 1.10 1.28 1.23 0.00 2.02 1.86 0.87

time (sec)

N/A 0.123 0.083 0.011 0.981 0.724 0.000 0.245 4.169 0.668

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 63 91 105 87 0 53 212 64

N.S.

1 1.00 0.86 1.25 1.44 1.19 0.00 0.73 2.90 0.88

time (sec)

N/A 0.085 0.068 0.014 0.951 0.465 0.000 0.184 0.057 0.449

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 58 77 91 83 0 48 200 61

N.S.

1 1.00 0.97 1.28 1.52 1.38 0.00 0.80 3.33 1.02

time (sec)

N/A 0.075 0.051 0.008 0.962 0.654 0.000 0.194 0.050 0.420

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 30 27 50 40 180 25 185 30

N.S.

1 1.00 0.73 0.66 1.22 0.98 4.39 0.61 4.51 0.73

time (sec)

N/A 0.053 0.017 0.005 0.425 0.954 77.502 0.336 4.107 0.378

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 58 133 81 103 0 91 218 0

N.S.

1 1.00 0.79 1.82 1.11 1.41 0.00 1.25 2.99 0.00

time (sec)

N/A 0.085 0.048 0.009 0.972 0.985 0.000 0.214 0.135 0.852

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

95 95 91 143 107 134 0 233 270 0

N.S.

1 1.00 0.96 1.51 1.13 1.41 0.00 2.45 2.84 0.00

time (sec)

N/A 0.169 0.055 0.013 0.977 0.562 0.000 0.517 4.312 1.024

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

117 117 75 140 147 149 0 183 301 94

N.S.

1 1.00 0.64 1.20 1.26 1.27 0.00 1.56 2.57 0.80

time (sec)

N/A 0.206 0.100 0.014 0.987 0.937 0.000 0.295 4.190 0.814

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

254 254 256 343 263 308 320 308 244 0

N.S.

1 1.00 1.01 1.35 1.04 1.21 1.26 1.21 0.96 0.00

time (sec)

N/A 0.326 0.094 0.001 0.436 0.542 0.136 0.155 0.126 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 163 223 165 187 197 187 149 0

N.S.

1 1.00 1.01 1.39 1.02 1.16 1.22 1.16 0.93 0.00

time (sec)

N/A 0.193 0.046 0.001 0.429 0.430 0.108 0.169 0.071 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

96 96 96 90 87 99 102 99 88 0

N.S.

1 1.00 1.00 0.94 0.91 1.03 1.06 1.03 0.92 0.00

time (sec)

N/A 0.099 0.023 0.001 0.430 0.985 0.089 0.155 4.086 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 46 39 38 40 42 40 39 0

N.S.

1 1.00 1.00 0.85 0.83 0.87 0.91 0.87 0.85 0.00

time (sec)

N/A 0.030 0.009 0.000 0.430 0.340 0.069 0.180 0.026 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 84 140 0 265 413 78 224 0

N.S.

1 1.00 1.04 1.73 0.00 3.27 5.10 0.96 2.77 0.00

time (sec)

N/A 0.100 0.092 0.006 0.000 0.769 1.213 0.154 0.194 0.001

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

100 100 98 146 0 511 376 108 172 0

N.S.

1 1.00 0.98 1.46 0.00 5.11 3.76 1.08 1.72 0.00

time (sec)

N/A 0.068 0.081 0.008 0.000 0.671 1.212 0.159 4.533 0.001

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 160 373 0 1199 774 217 401 0

N.S.

1 1.00 0.99 2.32 0.00 7.45 4.81 1.35 2.49 0.00

time (sec)

N/A 0.114 0.205 0.011 0.000 0.603 2.362 0.181 4.173 0.001

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

206 206 204 643 0 2103 1224 407 698 0

N.S.

1 1.00 0.99 3.12 0.00 10.21 5.94 1.98 3.39 0.00

time (sec)

N/A 0.190 0.408 0.015 0.000 0.866 4.220 0.172 4.358 0.001

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

591 591 585 1738 0 2150 4972 771 967 0

N.S.

1 1.00 0.99 2.94 0.00 3.64 8.41 1.30 1.64 0.00

time (sec)

N/A 1.428 0.651 0.012 0.000 2.520 118.420 0.171 5.462 0.001

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

348 348 345 1028 0 1273 2839 426 557 0

N.S.

1 1.00 0.99 2.95 0.00 3.66 8.16 1.22 1.60 0.00

time (sec)

N/A 0.677 0.380 0.009 0.000 1.203 47.193 0.161 4.684 0.001

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

177 177 173 510 0 654 1265 201 273 0

N.S.

1 1.00 0.98 2.88 0.00 3.69 7.15 1.14 1.54 0.00

time (sec)

N/A 0.350 0.205 0.006 0.000 0.752 14.462 0.194 0.530 0.001

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

92 92 95 196 0 302 488 89 132 0

N.S.

1 1.00 1.03 2.13 0.00 3.28 5.30 0.97 1.43 0.00

time (sec)

N/A 0.156 0.073 0.004 0.000 0.743 2.139 0.156 0.253 0.001

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

196 196 193 622 0 625 0 204 2467 0

N.S.

1 1.00 0.98 3.17 0.00 3.19 0.00 1.04 12.59 0.00

time (sec)

N/A 0.349 0.206 0.009 0.000 89.668 0.000 0.163 10.450 0.001

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

316 316 281 1125 0 0 0 449 3991 0

N.S.

1 1.00 0.89 3.56 0.00 0.00 0.00 1.42 12.63 0.00

time (sec)

N/A 0.761 0.536 0.013 0.000 0.000 0.000 0.196 14.713 0.001

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

509 509 504 1945 0 0 0 1002 12784 0

N.S.

1 1.00 0.99 3.82 0.00 0.00 0.00 1.97 25.12 0.00

time (sec)

N/A 1.251 0.766 0.019 0.000 0.000 0.000 0.206 6.819 0.001

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

288 288 398 1712 0 2771 0 540 742 0

N.S.

1 1.00 1.38 5.94 0.00 9.62 0.00 1.88 2.58 0.00

time (sec)

N/A 0.700 0.811 0.016 0.000 1.749 0.000 0.184 5.779 0.001

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

178 178 225 500 0 1413 1535 285 376 0

N.S.

1 1.00 1.26 2.81 0.00 7.94 8.62 1.60 2.11 0.00

time (sec)

N/A 0.266 0.462 0.012 0.000 1.566 60.262 0.167 5.039 0.001

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 114 194 0 632 459 125 203 0

N.S.

1 1.00 0.97 1.64 0.00 5.36 3.89 1.06 1.72 0.00

time (sec)

N/A 0.098 0.106 0.008 0.000 1.063 2.236 0.160 3.896 0.001

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

407 407 405 3202 0 0 0 860 13698 0

N.S.

1 1.00 1.00 7.87 0.00 0.00 0.00 2.11 33.66 0.00

time (sec)

N/A 1.087 0.905 0.023 0.000 0.000 0.000 0.193 6.700 0.001

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

673 673 650 4716 0 0 0 1437 26278 0

N.S.

1 1.00 0.97 7.01 0.00 0.00 0.00 2.14 39.05 0.00

time (sec)

N/A 2.559 2.206 0.038 0.000 0.000 0.000 0.327 8.926 0.001

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 60 53 51 75 60 51 55 0

N.S.

1 1.00 0.97 0.85 0.82 1.21 0.97 0.82 0.89 0.00

time (sec)

N/A 0.074 0.036 0.008 0.955 1.928 0.158 0.158 0.041 0.001

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 55 46 46 70 54 46 48 0

N.S.

1 1.00 1.00 0.84 0.84 1.27 0.98 0.84 0.87 0.00

time (sec)

N/A 0.066 0.026 0.007 0.950 0.693 0.151 0.159 0.043 0.001

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

52 52 52 45 43 60 53 43 59 0

N.S.

1 1.00 1.00 0.87 0.83 1.15 1.02 0.83 1.13 0.00

time (sec)

N/A 0.052 0.021 0.005 0.956 1.041 0.148 0.151 3.838 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 39 34 32 41 41 32 35 0

N.S.

1 1.00 0.95 0.83 0.78 1.00 1.00 0.78 0.85 0.00

time (sec)

N/A 0.033 0.022 0.005 0.945 0.614 0.137 0.157 3.833 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 56 48 47 72 54 48 58 0

N.S.

1 1.00 1.00 0.86 0.84 1.29 0.96 0.86 1.04 0.00

time (sec)

N/A 0.089 0.026 0.009 0.953 1.089 0.184 0.151 0.100 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

61 61 61 55 54 85 65 55 68 0

N.S.

1 1.00 1.00 0.90 0.89 1.39 1.07 0.90 1.11 0.00

time (sec)

N/A 0.128 0.023 0.011 0.958 1.250 0.198 0.150 4.132 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 66 60 63 98 71 63 75 0

N.S.

1 1.00 0.97 0.88 0.93 1.44 1.04 0.93 1.10 0.00

time (sec)

N/A 0.110 0.030 0.011 0.954 1.689 0.217 0.158 0.098 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

10 10 10 11 10 10 7 8 10 0

N.S.

1 1.00 1.00 1.10 1.00 1.00 0.70 0.80 1.00 0.00

time (sec)

N/A 0.011 0.006 0.004 0.430 1.112 0.095 0.149 0.045 0.001

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

31 31 31 28 27 27 36 27 29 0

N.S.

1 1.00 1.00 0.90 0.87 0.87 1.16 0.87 0.94 0.00

time (sec)

N/A 0.032 0.008 0.003 0.953 1.954 0.117 0.173 0.032 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

23 23 23 22 21 21 22 21 21 0

N.S.

1 1.00 1.00 0.96 0.91 0.91 0.96 0.91 0.91 0.00

time (sec)

N/A 0.035 0.005 0.005 0.953 1.581 0.110 0.151 0.042 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 19 18 17 25 14 18 17 0

N.S.

1 1.00 0.90 0.86 0.81 1.19 0.67 0.86 0.81 0.00

time (sec)

N/A 0.013 0.009 0.007 0.420 3.098 0.087 0.166 0.042 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 18 15 14 14 14 16 14 0

N.S.

1 1.00 1.00 0.83 0.78 0.78 0.78 0.89 0.78 0.00

time (sec)

N/A 0.018 0.005 0.006 0.427 1.070 0.111 0.149 3.922 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

14 14 14 13 12 12 12 14 12 0

N.S.

1 1.00 1.00 0.93 0.86 0.86 0.86 1.00 0.86 0.00

time (sec)

N/A 0.017 0.006 0.006 0.426 0.744 0.114 0.156 3.851 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

27 27 31 22 21 21 22 21 17 0

N.S.

1 1.00 1.15 0.81 0.78 0.78 0.81 0.78 0.63 0.00

time (sec)

N/A 0.028 0.005 0.004 0.943 0.799 0.123 0.151 3.800 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

48 48 48 30 36 55 46 45 35 0

N.S.

1 1.00 1.00 0.62 0.75 1.15 0.96 0.94 0.73 0.00

time (sec)

N/A 0.045 0.075 0.003 0.956 0.742 0.123 0.190 0.111 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

21 21 21 17 19 19 15 19 17 0

N.S.

1 1.00 1.00 0.81 0.90 0.90 0.71 0.90 0.81 0.00

time (sec)

N/A 0.012 0.008 0.005 0.425 0.783 0.119 0.157 3.841 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 39 34 30 39 37 30 36 0

N.S.

1 1.00 1.00 0.87 0.77 1.00 0.95 0.77 0.92 0.00

time (sec)

N/A 0.023 0.027 0.006 0.958 0.863 0.136 0.165 3.835 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

11 11 11 12 33 33 31 11 11 0

N.S.

1 1.00 1.00 1.09 3.00 3.00 2.82 1.00 1.00 0.00

time (sec)

N/A 0.008 0.006 0.005 0.436 0.816 0.132 0.151 3.800 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

267 267 344 997 0 953 0 482 -1 489

N.S.

1 1.00 1.29 3.73 0.00 3.57 0.00 1.81 -0.00 1.83

time (sec)

N/A 0.238 0.861 0.011 0.000 1.661 0.000 0.275 0.000 2.146

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

212 212 267 613 0 605 0 297 -1 295

N.S.

1 1.00 1.26 2.89 0.00 2.85 0.00 1.40 -0.00 1.39

time (sec)

N/A 0.183 0.581 0.010 0.000 0.925 0.000 0.282 0.000 1.125

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

157 157 144 327 0 355 0 160 240 161

N.S.

1 1.00 0.92 2.08 0.00 2.26 0.00 1.02 1.53 1.03

time (sec)

N/A 0.124 0.208 0.008 0.000 0.794 0.000 0.217 4.262 0.554

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

104 104 86 136 0 203 0 84 -1 92

N.S.

1 1.00 0.83 1.31 0.00 1.95 0.00 0.81 -0.01 0.88

time (sec)

N/A 0.080 0.146 0.010 0.000 0.942 0.000 0.247 0.000 0.453

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 104 169 0 403 0 110 108 100

N.S.

1 1.00 1.06 1.72 0.00 4.11 0.00 1.12 1.10 1.02

time (sec)

N/A 0.077 0.728 0.008 0.000 1.730 0.000 0.270 4.210 0.484

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 107 137 0 242 0 193 127 128

N.S.

1 1.00 0.94 1.20 0.00 2.12 0.00 1.69 1.11 1.12

time (sec)

N/A 0.093 0.894 0.008 0.000 2.068 0.000 0.258 4.142 0.970

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

167 167 148 316 0 563 0 452 578 295

N.S.

1 1.00 0.89 1.89 0.00 3.37 0.00 2.71 3.46 1.77

time (sec)

N/A 0.107 1.933 0.009 0.000 17.197 0.000 0.284 4.525 2.454

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

220 220 199 555 0 978 0 805 1018 525

N.S.

1 1.00 0.90 2.52 0.00 4.45 0.00 3.66 4.63 2.39

time (sec)

N/A 0.142 1.738 0.012 0.000 49.881 0.000 0.313 5.063 5.093

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

930 927 1093 3543 0 2817 0 1702 3262 1767

N.S.

1 1.00 1.18 3.81 0.00 3.03 0.00 1.83 3.51 1.90

time (sec)

N/A 3.013 2.418 0.024 0.000 3.620 0.000 0.306 14.702 13.411

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

584 581 436 2179 0 1791 0 1012 1881 1037

N.S.

1 0.99 0.75 3.73 0.00 3.07 0.00 1.73 3.22 1.78

time (sec)

N/A 1.440 0.966 0.016 0.000 2.059 0.000 0.312 7.911 5.516

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

322 322 258 1117 0 1009 0 495 877 498

N.S.

1 1.00 0.80 3.47 0.00 3.13 0.00 1.54 2.72 1.55

time (sec)

N/A 0.504 0.476 0.010 0.000 2.763 0.000 0.237 5.624 2.074

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 175 173 453 0 465 0 212 320 207

N.S.

1 1.00 0.99 2.59 0.00 2.66 0.00 1.21 1.83 1.18

time (sec)

N/A 0.167 0.298 0.008 0.000 1.148 0.000 0.236 4.240 0.001

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

321 321 331 2549 0 0 0 0 -1 384

N.S.

1 1.00 1.03 7.94 0.00 0.00 0.00 0.00 -0.00 1.20

time (sec)

N/A 0.778 0.786 0.018 0.000 0.000 0.000 0.000 0.000 2.058

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

459 453 486 6218 0 0 0 0 -1 5655

N.S.

1 0.99 1.06 13.55 0.00 0.00 0.00 0.00 -0.00 12.32

time (sec)

N/A 1.100 1.561 0.017 0.000 0.000 0.000 0.000 0.000 8.317

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

448 446 645 12139 0 0 0 0 -1 0

N.S.

1 1.00 1.44 27.10 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.875 3.584 0.018 0.000 0.000 0.000 0.000 0.000 180.107

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

603 601 439 19321 0 0 0 0 -1 0

N.S.

1 1.00 0.73 32.04 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 1.449 1.925 0.020 0.000 0.000 0.000 0.000 0.000 180.018

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

497 499 447 29161 0 0 0 0 -1 0

N.S.

1 1.00 0.90 58.67 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.855 3.901 0.026 0.000 0.000 0.000 0.000 0.000 180.080

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

824 826 1128 40336 0 0 0 0 -1 0

N.S.

1 1.00 1.37 48.95 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 2.335 6.333 0.036 0.000 0.000 0.000 0.000 0.000 180.045

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

1169 1166 721 5881 0 4751 0 2977 -1 3156

N.S.

1 1.00 0.62 5.03 0.00 4.06 0.00 2.55 -0.00 2.70

time (sec)

N/A 3.698 2.707 0.029 0.000 14.763 0.000 0.438 0.000 9.589

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

753 749 468 3769 0 3145 0 1852 -1 1943

N.S.

1 0.99 0.62 5.01 0.00 4.18 0.00 2.46 -0.00 2.58

time (sec)

N/A 2.104 1.598 0.017 0.000 7.903 0.000 0.367 0.000 17.699

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

418 418 285 2026 0 1833 0 955 -1 984

N.S.

1 1.00 0.68 4.85 0.00 4.39 0.00 2.28 -0.00 2.35

time (sec)

N/A 0.645 0.785 0.011 0.000 1.908 0.000 0.294 0.000 6.200

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

236 236 392 862 0 839 0 417 -1 408

N.S.

1 1.00 1.66 3.65 0.00 3.56 0.00 1.77 -0.00 1.73

time (sec)

N/A 0.242 0.691 0.007 0.000 1.025 0.000 0.264 0.000 0.001

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

660 660 635 6715 0 0 0 0 -1 26959

N.S.

1 1.00 0.96 10.17 0.00 0.00 0.00 0.00 -0.00 40.85

time (sec)

N/A 1.825 2.210 0.017 0.000 0.000 0.000 0.000 0.000 89.950

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

754 750 756 14734 0 0 0 0 -1 17196

N.S.

1 0.99 1.00 19.54 0.00 0.00 0.00 0.00 -0.00 22.81

time (sec)

N/A 2.503 4.158 0.020 0.000 0.000 0.000 0.000 0.000 47.042

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F(-2) F(-1) F F(-2) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

824 819 4162 26596 0 0 0 0 -1 0

N.S.

1 0.99 5.05 32.28 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 2.141 6.274 0.025 0.000 0.000 0.000 0.000 0.000 180.167

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F(-2) F(-1) F B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

833 829 7806 40092 0 0 0 7319 -1 0

N.S.

1 1.00 9.37 48.13 0.00 0.00 0.00 8.79 -0.00 0.00

time (sec)

N/A 2.264 6.492 0.029 0.000 0.000 0.000 26.172 0.000 180.060

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F(-2) F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

1097 1096 46895 57957 0 0 0 0 -1 0

N.S.

1 1.00 42.75 52.83 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 3.123 6.622 0.057 0.000 0.000 0.000 0.000 0.000 180.100

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

1226 1223 1111 76693 0 0 0 0 -1 0

N.S.

1 1.00 0.91 62.56 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 3.997 6.296 0.069 0.000 0.000 0.000 0.000 0.000 180.061

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-1) F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

657 660 766 100754 0 0 0 0 -1 0

N.S.

1 1.00 1.17 153.35 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 1.216 6.243 0.133 0.000 0.000 0.000 0.000 0.000 180.013

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F(-1) F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

1062 1062 1221 126612 0 0 0 0 -1 0

N.S.

1 1.00 1.15 119.22 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 3.004 6.419 0.184 0.000 0.000 0.000 0.000 0.000 180.121

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 70 115 126 83 0 78 170 85

N.S.

1 1.00 0.49 0.80 0.88 0.58 0.00 0.55 1.19 0.59

time (sec)

N/A 0.138 0.050 0.016 0.951 1.815 0.000 0.263 5.541 0.680

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 65 98 109 78 0 73 153 80

N.S.

1 1.00 0.55 0.83 0.92 0.66 0.00 0.62 1.30 0.68

time (sec)

N/A 0.112 0.038 0.008 0.957 0.754 0.000 0.303 5.151 0.585

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

93 93 60 81 92 73 0 68 136 75

N.S.

1 1.00 0.65 0.87 0.99 0.78 0.00 0.73 1.46 0.81

time (sec)

N/A 0.066 0.028 0.007 0.957 0.858 0.000 0.263 4.879 0.453

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 86 95 96 115 0 126 -1 114

N.S.

1 1.00 0.85 0.94 0.95 1.14 0.00 1.25 -0.01 1.13

time (sec)

N/A 0.117 0.054 0.010 0.963 1.331 0.000 0.394 0.000 0.439

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

108 108 92 123 103 133 0 380 -1 121

N.S.

1 1.00 0.85 1.14 0.95 1.23 0.00 3.52 -0.01 1.12

time (sec)

N/A 0.116 0.086 0.014 0.974 0.873 0.000 0.719 0.000 0.625

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

115 115 93 125 114 149 0 0 -1 121

N.S.

1 1.00 0.81 1.09 0.99 1.30 0.00 0.00 -0.01 1.05

time (sec)

N/A 0.117 0.085 0.013 0.986 1.392 0.000 0.000 0.000 0.657

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

158 158 80 134 155 93 0 88 -1 95

N.S.

1 1.00 0.51 0.85 0.98 0.59 0.00 0.56 -0.01 0.60

time (sec)

N/A 0.201 0.050 0.016 0.978 1.500 0.000 0.259 0.000 0.921

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

141 141 75 117 138 88 0 83 -1 90

N.S.

1 1.00 0.53 0.83 0.98 0.62 0.00 0.59 -0.01 0.64

time (sec)

N/A 0.121 0.046 0.006 0.927 1.264 0.000 0.270 0.000 0.826

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

116 116 70 100 121 83 0 78 -1 85

N.S.

1 1.00 0.60 0.86 1.04 0.72 0.00 0.67 -0.01 0.73

time (sec)

N/A 0.082 0.037 0.005 0.966 2.011 0.000 0.211 0.000 0.653

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 96 151 125 125 0 136 -1 124

N.S.

1 1.00 0.77 1.22 1.01 1.01 0.00 1.10 -0.01 1.00

time (sec)

N/A 0.144 0.062 0.008 0.988 0.958 0.000 0.283 0.000 0.556

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

131 131 103 179 132 143 0 570 -1 131

N.S.

1 1.00 0.79 1.37 1.01 1.09 0.00 4.35 -0.01 1.00

time (sec)

N/A 0.140 0.092 0.011 0.978 1.403 0.000 0.841 0.000 0.627

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

138 138 103 162 143 159 0 0 -1 131

N.S.

1 1.00 0.75 1.17 1.04 1.15 0.00 0.00 -0.01 0.95

time (sec)

N/A 0.139 0.107 0.013 0.984 0.808 0.000 0.000 0.000 0.788

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 90 153 184 103 0 98 -1 105

N.S.

1 1.00 0.48 0.81 0.97 0.54 0.00 0.52 -0.01 0.56

time (sec)

N/A 0.156 0.062 0.017 0.978 1.616 0.000 0.201 0.000 1.113

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

164 164 85 136 167 98 0 93 -1 100

N.S.

1 1.00 0.52 0.83 1.02 0.60 0.00 0.57 -0.01 0.61

time (sec)

N/A 0.133 0.056 0.007 0.971 1.080 0.000 0.212 0.000 1.047

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

139 139 80 119 150 93 0 88 -1 95

N.S.

1 1.00 0.58 0.86 1.08 0.67 0.00 0.63 -0.01 0.68

time (sec)

N/A 0.092 0.048 0.006 0.967 1.092 0.000 0.187 0.000 0.910

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 106 207 154 135 0 146 -1 134

N.S.

1 1.00 0.72 1.41 1.05 0.92 0.00 0.99 -0.01 0.91

time (sec)

N/A 0.160 0.075 0.010 0.972 1.140 0.000 0.307 0.000 0.781

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

154 154 113 235 161 153 0 760 -1 141

N.S.

1 1.00 0.73 1.53 1.05 0.99 0.00 4.94 -0.01 0.92

time (sec)

N/A 0.163 0.116 0.012 0.999 0.622 0.000 1.097 0.000 0.866

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 113 199 172 169 0 0 -1 141

N.S.

1 1.00 0.70 1.24 1.07 1.05 0.00 0.00 -0.01 0.88

time (sec)

N/A 0.163 0.114 0.015 0.994 1.112 0.000 0.000 0.000 1.034

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

693 692 588 1869 0 1435 0 822 -1 820

N.S.

1 1.00 0.85 2.70 0.00 2.07 0.00 1.19 -0.00 1.18

time (sec)

N/A 2.102 1.251 0.019 0.000 2.304 0.000 0.323 0.000 3.585

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

420 418 343 1069 0 861 0 457 -1 447

N.S.

1 1.00 0.82 2.55 0.00 2.05 0.00 1.09 -0.00 1.06

time (sec)

N/A 1.011 0.649 0.013 0.000 1.983 0.000 0.296 0.000 1.638

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 215 505 0 461 0 210 -1 202

N.S.

1 1.00 0.96 2.26 0.00 2.07 0.00 0.94 -0.00 0.91

time (sec)

N/A 0.303 0.234 0.008 0.000 2.244 0.000 0.269 0.000 0.788

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

116 116 96 185 0 227 0 98 -1 102

N.S.

1 1.00 0.83 1.59 0.00 1.96 0.00 0.84 -0.01 0.88

time (sec)

N/A 0.106 0.152 0.007 0.000 2.725 0.000 0.249 0.000 0.001

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

179 179 172 599 0 0 0 0 -1 198

N.S.

1 1.00 0.96 3.35 0.00 0.00 0.00 0.00 -0.01 1.11

time (sec)

N/A 0.293 0.281 0.015 0.000 0.000 0.000 0.000 0.000 0.781

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

241 239 227 1671 0 0 0 0 -1 379

N.S.

1 0.99 0.94 6.93 0.00 0.00 0.00 0.00 -0.00 1.57

time (sec)

N/A 0.371 0.348 0.015 0.000 0.000 0.000 0.000 0.000 1.273

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

336 336 367 3615 0 0 0 2307 -1 0

N.S.

1 1.00 1.09 10.76 0.00 0.00 0.00 6.87 -0.00 0.00

time (sec)

N/A 0.656 1.100 0.017 0.000 0.000 0.000 0.545 0.000 180.264

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

504 502 715 2780 0 2937 0 1054 -1 1034

N.S.

1 1.00 1.42 5.52 0.00 5.83 0.00 2.09 -0.00 2.05

time (sec)

N/A 1.176 1.595 0.020 0.000 45.678 0.000 0.350 0.000 4.931

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

289 288 412 1557 0 1769 0 580 -1 552

N.S.

1 1.00 1.43 5.39 0.00 6.12 0.00 2.01 -0.00 1.91

time (sec)

N/A 0.392 0.827 0.013 0.000 28.875 0.000 0.322 0.000 3.102

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

186 186 205 735 0 905 0 271 -1 245

N.S.

1 1.00 1.10 3.95 0.00 4.87 0.00 1.46 -0.01 1.32

time (sec)

N/A 0.227 0.734 0.009 0.000 19.704 0.000 0.284 0.000 1.099

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

111 111 113 249 0 429 0 122 143 111

N.S.

1 1.00 1.02 2.24 0.00 3.86 0.00 1.10 1.29 1.00

time (sec)

N/A 0.066 0.295 0.006 0.000 2.454 0.000 0.267 4.535 0.002

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

225 225 271 2079 0 1905 0 719 -1 293

N.S.

1 1.00 1.20 9.24 0.00 8.47 0.00 3.20 -0.00 1.30

time (sec)

N/A 0.266 0.493 0.014 0.000 53.931 0.000 0.286 0.000 1.215

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

421 418 487 4930 0 0 0 0 -1 3385

N.S.

1 0.99 1.16 11.71 0.00 0.00 0.00 0.00 -0.00 8.04

time (sec)

N/A 0.797 2.460 0.019 0.000 0.000 0.000 0.000 0.000 11.493

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

713 707 762 9126 0 0 0 5637 -1 0

N.S.

1 0.99 1.07 12.80 0.00 0.00 0.00 7.91 -0.00 0.00

time (sec)

N/A 2.670 5.291 0.024 0.000 0.000 0.000 0.882 0.000 180.037

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

120 120 60 96 97 73 0 68 -1 75

N.S.

1 1.00 0.50 0.80 0.81 0.61 0.00 0.57 -0.01 0.62

time (sec)

N/A 0.135 0.045 0.015 0.954 0.680 0.000 0.244 0.000 0.594

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

95 95 55 79 80 68 0 63 -1 70

N.S.

1 1.00 0.58 0.83 0.84 0.72 0.00 0.66 -0.01 0.74

time (sec)

N/A 0.099 0.031 0.008 0.972 1.494 0.000 0.221 0.000 0.508

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 50 62 63 63 0 58 -1 65

N.S.

1 1.00 0.71 0.89 0.90 0.90 0.00 0.83 -0.01 0.93

time (sec)

N/A 0.058 0.021 0.007 0.960 0.691 0.000 0.264 0.000 0.360

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

78 78 78 60 67 105 0 116 -1 101

N.S.

1 1.00 1.00 0.77 0.86 1.35 0.00 1.49 -0.01 1.29

time (sec)

N/A 0.097 0.046 0.009 0.973 1.529 0.000 0.572 0.000 0.396

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

83 83 82 67 74 123 0 48 -1 109

N.S.

1 1.00 0.99 0.81 0.89 1.48 0.00 0.58 -0.01 1.31

time (sec)

N/A 0.095 0.053 0.012 0.979 0.991 0.000 0.277 0.000 0.421

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

89 89 69 74 82 96 0 204 -1 80

N.S.

1 1.00 0.78 0.83 0.92 1.08 0.00 2.29 -0.01 0.90

time (sec)

N/A 0.088 0.039 0.035 0.977 1.498 0.000 0.328 0.000 0.470

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 69 115 97 97 0 67 -1 75

N.S.

1 1.00 0.67 1.12 0.94 0.94 0.00 0.65 -0.01 0.73

time (sec)

N/A 0.124 0.041 0.014 0.965 0.866 0.000 0.210 0.000 0.643

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 61 98 80 92 0 62 -1 70

N.S.

1 1.00 0.74 1.20 0.98 1.12 0.00 0.76 -0.01 0.85

time (sec)

N/A 0.108 0.033 0.009 0.969 1.433 0.000 0.271 0.000 0.644

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 50 81 63 87 0 57 -1 65

N.S.

1 1.00 0.79 1.29 1.00 1.38 0.00 0.90 -0.02 1.03

time (sec)

N/A 0.060 0.119 0.006 0.943 0.990 0.000 0.272 0.000 0.561

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 73 102 64 96 0 91 -1 73

N.S.

1 1.00 1.18 1.65 1.03 1.55 0.00 1.47 -0.02 1.18

time (sec)

N/A 0.074 0.023 0.009 0.965 1.420 0.000 0.581 0.000 0.492

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

87 87 74 109 96 106 0 168 -1 85

N.S.

1 1.00 0.85 1.25 1.10 1.22 0.00 1.93 -0.01 0.98

time (sec)

N/A 0.092 0.044 0.012 0.955 1.055 0.000 0.297 0.000 0.508

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

112 112 79 111 145 126 0 223 -1 90

N.S.

1 1.00 0.71 0.99 1.29 1.12 0.00 1.99 -0.01 0.80

time (sec)

N/A 0.155 0.056 0.013 0.967 1.033 0.000 0.313 0.000 0.586

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 71 163 202 117 0 67 -1 75

N.S.

1 1.00 0.83 1.90 2.35 1.36 0.00 0.78 -0.01 0.87

time (sec)

N/A 0.113 0.061 0.014 0.963 1.014 0.000 0.208 0.000 0.858

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 66 146 185 112 0 62 -1 70

N.S.

1 1.00 0.97 2.15 2.72 1.65 0.00 0.91 -0.01 1.03

time (sec)

N/A 0.095 0.126 0.009 0.967 0.936 0.000 0.237 0.000 0.719

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 33 30 76 51 0 28 49 33

N.S.

1 1.00 0.70 0.64 1.62 1.09 0.00 0.60 1.04 0.70

time (sec)

N/A 0.048 0.059 0.005 0.437 1.196 0.000 0.196 4.196 0.550

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

85 85 72 158 93 126 0 101 -1 83

N.S.

1 1.00 0.85 1.86 1.09 1.48 0.00 1.19 -0.01 0.98

time (sec)

N/A 0.094 0.051 0.010 0.962 0.954 0.000 0.434 0.000 0.624

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 111 165 125 141 0 233 -1 95

N.S.

1 1.00 1.01 1.50 1.14 1.28 0.00 2.12 -0.01 0.86

time (sec)

N/A 0.151 0.064 0.011 0.974 0.742 0.000 0.363 0.000 0.717

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

135 135 89 148 174 156 0 233 -1 100

N.S.

1 1.00 0.66 1.10 1.29 1.16 0.00 1.73 -0.01 0.74

time (sec)

N/A 0.213 0.075 0.013 0.991 1.730 0.000 0.349 0.000 0.828

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B F F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 219 324 0 465 0 0 1089 0

N.S.

1 1.00 1.05 1.56 0.00 2.24 0.00 0.00 5.24 0.00

time (sec)

N/A 0.424 0.505 0.013 0.000 60.068 0.000 0.000 5.748 180.180

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

41 41 119 36 59 75 221 141 58 0

N.S.

1 1.00 2.90 0.88 1.44 1.83 5.39 3.44 1.41 0.00

time (sec)

N/A 0.052 0.106 0.005 0.576 0.893 13.248 0.181 4.246 0.293

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 34 39 66 83 280 191 78 0

N.S.

1 1.00 0.74 0.85 1.43 1.80 6.09 4.15 1.70 0.00

time (sec)

N/A 0.072 0.130 0.005 0.576 1.106 173.947 0.244 4.395 0.347

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

57 57 43 51 98 123 483 314 120 0

N.S.

1 1.00 0.75 0.89 1.72 2.16 8.47 5.51 2.11 0.00

time (sec)

N/A 0.121 0.306 0.006 0.598 0.808 171.168 0.306 4.457 0.313

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B B B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 167 8419 1779 2467 2281 2383 2026 0

N.S.

1 1.00 8.35 420.95 88.95 123.35 114.05 119.15 101.30 0.00

time (sec)

N/A 0.420 0.449 0.004 0.500 0.785 1.527 0.230 4.865 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

26 26 26 19 18 18 20 20 18 0

N.S.

1 1.00 1.00 0.73 0.69 0.69 0.77 0.77 0.69 0.00

time (sec)

N/A 0.025 0.005 0.005 0.426 0.597 0.244 0.165 0.051 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

346 346 282 783 0 701 0 330 -1 324

N.S.

1 1.00 0.82 2.26 0.00 2.03 0.00 0.95 -0.00 0.94

time (sec)

N/A 0.812 0.739 0.014 0.000 0.948 0.000 0.314 0.000 1.329

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

245 245 199 532 0 499 0 228 -1 220

N.S.

1 1.00 0.81 2.17 0.00 2.04 0.00 0.93 -0.00 0.90

time (sec)

N/A 0.438 0.443 0.010 0.000 0.764 0.000 0.386 0.000 0.864

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

177 177 141 333 0 341 0 149 -1 144

N.S.

1 1.00 0.80 1.88 0.00 1.93 0.00 0.84 -0.01 0.81

time (sec)

N/A 0.235 0.264 0.009 0.000 1.041 0.000 0.268 0.000 0.595

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

155 155 134 220 0 733 0 0 -1 145

N.S.

1 1.00 0.86 1.42 0.00 4.73 0.00 0.00 -0.01 0.94

time (sec)

N/A 0.256 0.369 0.010 0.000 6.925 0.000 0.000 0.000 0.641

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

139 139 127 173 0 703 0 171 166 127

N.S.

1 1.00 0.91 1.24 0.00 5.06 0.00 1.23 1.19 0.91

time (sec)

N/A 0.235 0.399 0.012 0.000 6.164 0.000 0.372 4.460 0.656

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

159 159 137 241 0 783 0 352 -1 172

N.S.

1 1.00 0.86 1.52 0.00 4.92 0.00 2.21 -0.01 1.08

time (sec)

N/A 0.244 0.359 0.012 0.000 8.041 0.000 0.361 0.000 0.729

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

186 186 150 375 0 365 0 689 -1 193

N.S.

1 1.00 0.81 2.02 0.00 1.96 0.00 3.70 -0.01 1.04

time (sec)

N/A 0.320 0.310 0.014 0.000 7.645 0.000 0.292 0.000 1.167

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

270 270 212 591 0 525 0 1448 -1 278

N.S.

1 1.00 0.79 2.19 0.00 1.94 0.00 5.36 -0.00 1.03

time (sec)

N/A 0.488 0.522 0.013 0.000 15.353 0.000 0.300 0.000 2.178

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

371 371 299 859 0 727 0 2177 -1 391

N.S.

1 1.00 0.81 2.32 0.00 1.96 0.00 5.87 -0.00 1.05

time (sec)

N/A 0.817 0.731 0.018 0.000 40.333 0.000 0.508 0.000 2.972

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

258 258 212 208 206 237 230 230 196 0

N.S.

1 1.00 0.82 0.81 0.80 0.92 0.89 0.89 0.76 0.00

time (sec)

N/A 0.257 0.040 0.002 0.434 0.742 0.518 0.168 4.204 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

157 157 136 146 145 160 158 160 137 0

N.S.

1 1.00 0.87 0.93 0.92 1.02 1.01 1.02 0.87 0.00

time (sec)

N/A 0.166 0.032 0.002 0.432 0.881 0.153 0.157 4.108 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

93 93 93 84 79 83 87 90 77 0

N.S.

1 1.00 1.00 0.90 0.85 0.89 0.94 0.97 0.83 0.00

time (sec)

N/A 0.108 0.013 0.001 0.428 0.762 1.911 0.151 0.047 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 42 35 34 34 37 34 34 0

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.88 0.81 0.81 0.00

time (sec)

N/A 0.025 0.002 0.002 0.423 0.631 0.288 0.148 0.026 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

228 228 179 286 228 230 235 228 260 0

N.S.

1 1.00 0.79 1.25 1.00 1.01 1.03 1.00 1.14 0.00

time (sec)

N/A 0.193 0.059 0.006 0.433 0.734 1.174 0.155 4.139 0.001

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

228 228 223 313 234 319 238 308 363 0

N.S.

1 1.00 0.98 1.37 1.03 1.40 1.04 1.35 1.59 0.00

time (sec)

N/A 0.191 0.087 0.012 0.435 0.467 1.134 0.173 4.181 0.001

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

231 231 204 336 240 360 248 216 297 0

N.S.

1 1.00 0.88 1.45 1.04 1.56 1.07 0.94 1.29 0.00

time (sec)

N/A 0.204 0.066 0.011 0.444 0.768 2.627 0.180 0.092 0.001

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

391 391 277 264 263 305 298 296 251 0

N.S.

1 1.00 0.71 0.68 0.67 0.78 0.76 0.76 0.64 0.00

time (sec)

N/A 0.386 0.043 0.002 0.435 0.756 0.203 0.157 4.247 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

201 201 201 186 185 206 206 206 175 0

N.S.

1 1.00 1.00 0.93 0.92 1.02 1.02 1.02 0.87 0.00

time (sec)

N/A 0.240 0.026 0.001 0.429 0.460 0.146 0.161 0.108 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

121 121 121 108 105 107 112 116 101 0

N.S.

1 1.00 1.00 0.89 0.87 0.88 0.93 0.96 0.83 0.00

time (sec)

N/A 0.160 0.016 0.001 0.431 0.806 0.136 0.156 4.173 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 60 45 44 44 56 44 44 0

N.S.

1 1.00 1.00 0.75 0.73 0.73 0.93 0.73 0.73 0.00

time (sec)

N/A 0.036 0.001 0.000 0.423 0.636 0.155 0.149 0.035 0.000

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

352 352 262 465 366 368 372 378 434 0

N.S.

1 1.00 0.74 1.32 1.04 1.05 1.06 1.07 1.23 0.00

time (sec)

N/A 0.316 0.122 0.006 0.436 1.012 0.997 0.170 0.079 0.001

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

353 353 342 500 372 490 393 459 939 0

N.S.

1 1.00 0.97 1.42 1.05 1.39 1.11 1.30 2.66 0.00

time (sec)

N/A 0.328 0.139 0.012 0.438 0.881 2.311 0.180 4.217 0.001

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

354 354 311 531 378 545 394 354 771 0

N.S.

1 1.00 0.88 1.50 1.07 1.54 1.11 1.00 2.18 0.00

time (sec)

N/A 0.343 0.102 0.014 0.449 1.565 4.872 0.161 0.127 0.001

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

360 360 344 558 390 587 401 345 560 0

N.S.

1 1.00 0.96 1.55 1.08 1.63 1.11 0.96 1.56 0.00

time (sec)

N/A 0.358 0.123 0.014 0.462 0.932 8.089 0.159 4.284 0.001

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

221 221 178 291 206 206 450 212 397 0

N.S.

1 1.00 0.81 1.32 0.93 0.93 2.04 0.96 1.80 0.00

time (sec)

N/A 0.190 0.121 0.007 0.964 0.768 2.579 0.167 4.182 0.001

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 156 130 191 141 141 303 145 223 0

N.S.

1 1.00 0.83 1.22 0.90 0.90 1.94 0.93 1.43 0.00

time (sec)

N/A 0.162 0.085 0.006 0.961 0.776 1.719 0.159 0.099 0.001

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 99 86 102 84 84 163 88 107 0

N.S.

1 1.00 0.87 1.03 0.85 0.85 1.65 0.89 1.08 0.00

time (sec)

N/A 0.108 0.054 0.005 0.956 0.800 0.849 0.155 0.070 0.001

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 50 44 43 43 61 43 45 0

N.S.

1 1.00 0.89 0.79 0.77 0.77 1.09 0.77 0.80 0.00

time (sec)

N/A 0.049 0.018 0.003 0.967 0.754 0.232 0.162 0.042 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

168 168 146 298 160 171 0 158 713 0

N.S.

1 1.00 0.87 1.77 0.95 1.02 0.00 0.94 4.24 0.00

time (sec)

N/A 0.194 0.110 0.012 0.964 0.800 0.000 0.216 6.389 0.001

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

233 233 233 538 294 416 0 355 312 0

N.S.

1 1.00 1.00 2.31 1.26 1.79 0.00 1.52 1.34 0.00

time (sec)

N/A 0.251 0.160 0.016 0.983 0.982 0.000 0.177 4.669 0.001

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

317 317 278 819 498 698 0 406 493 0

N.S.

1 1.00 0.88 2.58 1.57 2.20 0.00 1.28 1.56 0.00

time (sec)

N/A 0.290 0.434 0.015 0.998 1.265 0.000 0.179 4.763 0.001

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 209 283 212 350 444 206 333 0

N.S.

1 1.00 1.11 1.50 1.12 1.85 2.35 1.09 1.76 0.00

time (sec)

N/A 0.255 0.158 0.016 0.958 0.594 2.772 0.162 0.148 0.001

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

140 140 150 189 147 245 298 145 211 0

N.S.

1 1.00 1.07 1.35 1.05 1.75 2.13 1.04 1.51 0.00

time (sec)

N/A 0.208 0.113 0.012 0.960 0.825 1.961 0.156 0.114 0.001

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 96 106 90 147 165 94 115 0

N.S.

1 1.00 0.99 1.09 0.93 1.52 1.70 0.97 1.19 0.00

time (sec)

N/A 0.193 0.066 0.010 0.961 0.631 1.023 0.156 4.152 0.001

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 59 51 52 78 65 52 52 0

N.S.

1 1.00 0.94 0.81 0.83 1.24 1.03 0.83 0.83 0.00

time (sec)

N/A 0.077 0.037 0.007 0.952 0.387 0.192 0.153 4.148 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

224 224 186 691 289 479 0 284 330 0

N.S.

1 1.00 0.83 3.08 1.29 2.14 0.00 1.27 1.47 0.00

time (sec)

N/A 0.340 0.164 0.020 0.982 0.912 0.000 0.170 4.612 0.001

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

313 313 270 986 548 910 0 571 601 0

N.S.

1 1.00 0.86 3.15 1.75 2.91 0.00 1.82 1.92 0.00

time (sec)

N/A 0.498 0.262 0.023 1.015 1.100 0.000 0.204 4.835 0.001

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

412 412 363 1314 851 1499 0 595 887 0

N.S.

1 1.00 0.88 3.19 2.07 3.64 0.00 1.44 2.15 0.00

time (sec)

N/A 0.715 0.396 0.027 1.090 1.439 0.000 0.204 4.940 0.001

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

171 171 209 267 222 441 469 201 299 0

N.S.

1 1.00 1.22 1.56 1.30 2.58 2.74 1.18 1.75 0.00

time (sec)

N/A 0.336 0.201 0.015 0.968 0.767 8.078 0.208 0.152 0.001

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

134 134 146 179 155 302 304 144 203 0

N.S.

1 1.00 1.09 1.34 1.16 2.25 2.27 1.07 1.51 0.00

time (sec)

N/A 0.239 0.182 0.013 0.961 0.807 3.963 0.165 4.214 0.001

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 107 102 101 172 163 97 125 0

N.S.

1 1.00 1.04 0.99 0.98 1.67 1.58 0.94 1.21 0.00

time (sec)

N/A 0.145 0.085 0.011 0.956 0.587 2.311 0.185 0.120 0.001

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

64 64 53 47 56 75 61 46 55 0

N.S.

1 1.00 0.83 0.73 0.88 1.17 0.95 0.72 0.86 0.00

time (sec)

N/A 0.050 0.039 0.007 0.958 0.809 0.201 0.155 0.049 0.001

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

329 329 282 1437 571 1052 0 460 641 0

N.S.

1 1.00 0.86 4.37 1.74 3.20 0.00 1.40 1.95 0.00

time (sec)

N/A 0.496 0.305 0.025 1.030 1.545 0.000 0.247 4.793 0.001

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

443 443 389 1850 916 1734 0 762 965 0

N.S.

1 1.00 0.88 4.18 2.07 3.91 0.00 1.72 2.18 0.00

time (sec)

N/A 0.893 0.526 0.031 1.134 1.589 0.000 0.256 4.989 0.001

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 70 115 126 83 0 78 170 85

N.S.

1 1.00 0.49 0.80 0.88 0.58 0.00 0.55 1.19 0.59

time (sec)

N/A 0.155 0.154 0.017 0.965 0.864 0.000 0.204 1.716 1.289

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 65 98 109 78 0 73 153 80

N.S.

1 1.00 0.52 0.79 0.88 0.63 0.00 0.59 1.23 0.65

time (sec)

N/A 0.092 0.095 0.006 0.954 0.819 0.000 0.199 0.767 0.599

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 91 127 128 125 0 129 -1 117

N.S.

1 1.00 0.61 0.85 0.86 0.84 0.00 0.87 -0.01 0.79

time (sec)

N/A 0.240 0.147 0.010 1.006 0.784 0.000 0.224 0.000 0.611

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 98 152 132 143 0 531 -1 124

N.S.

1 1.00 0.66 1.02 0.89 0.96 0.00 3.56 -0.01 0.83

time (sec)

N/A 0.237 0.162 0.013 1.003 0.866 0.000 0.531 0.000 0.670

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

151 151 98 158 143 159 0 258 -1 124

N.S.

1 1.00 0.65 1.05 0.95 1.05 0.00 1.71 -0.01 0.82

time (sec)

N/A 0.228 0.148 0.015 1.002 0.812 0.000 0.244 0.000 0.778

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

158 158 98 165 160 173 0 304 -1 124

N.S.

1 1.00 0.62 1.04 1.01 1.09 0.00 1.92 -0.01 0.78

time (sec)

N/A 0.226 0.159 0.013 0.980 0.834 0.000 0.258 0.000 0.876

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

165 165 98 167 181 189 0 327 -1 124

N.S.

1 1.00 0.59 1.01 1.10 1.15 0.00 1.98 -0.01 0.75

time (sec)

N/A 0.234 0.176 0.013 1.022 1.214 0.000 0.373 0.000 0.827

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

165 165 98 188 222 203 0 387 -1 124

N.S.

1 1.00 0.59 1.14 1.35 1.23 0.00 2.35 -0.01 0.75

time (sec)

N/A 0.229 0.200 0.014 1.044 1.073 0.000 0.278 0.000 0.955

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

169 169 91 195 250 156 0 405 -1 93

N.S.

1 1.00 0.54 1.15 1.48 0.92 0.00 2.40 -0.01 0.55

time (sec)

N/A 0.218 0.169 0.016 1.050 0.530 0.000 0.264 0.000 1.005

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

194 194 96 216 301 171 0 456 -1 98

N.S.

1 1.00 0.49 1.11 1.55 0.88 0.00 2.35 -0.01 0.51

time (sec)

N/A 0.268 0.198 0.019 1.039 0.898 0.000 0.293 0.000 1.303

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 80 134 155 93 0 88 -1 95

N.S.

1 1.00 0.48 0.81 0.93 0.56 0.00 0.53 -0.01 0.57

time (sec)

N/A 0.194 0.184 0.018 0.977 0.861 0.000 0.191 0.000 0.958

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 75 117 138 88 0 83 -1 90

N.S.

1 1.00 0.51 0.80 0.94 0.60 0.00 0.56 -0.01 0.61

time (sec)

N/A 0.121 0.124 0.005 1.003 0.877 0.000 0.334 0.000 0.869

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

172 172 101 183 157 135 0 139 -1 127

N.S.

1 1.00 0.59 1.06 0.91 0.78 0.00 0.81 -0.01 0.74

time (sec)

N/A 0.268 0.183 0.010 1.002 0.827 0.000 0.231 0.000 0.887

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

172 172 108 208 161 153 0 707 -1 134

N.S.

1 1.00 0.63 1.21 0.94 0.89 0.00 4.11 -0.01 0.78

time (sec)

N/A 0.282 0.210 0.013 1.013 1.002 0.000 0.451 0.000 1.057

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 108 214 172 169 0 268 -1 134

N.S.

1 1.00 0.62 1.23 0.99 0.97 0.00 1.54 -0.01 0.77

time (sec)

N/A 0.273 0.216 0.015 1.001 0.885 0.000 0.303 0.000 0.996

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

181 181 108 221 189 183 0 314 -1 134

N.S.

1 1.00 0.60 1.22 1.04 1.01 0.00 1.73 -0.01 0.74

time (sec)

N/A 0.267 0.219 0.017 1.036 0.816 0.000 0.269 0.000 1.078

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

188 188 108 204 210 199 0 503 -1 134

N.S.

1 1.00 0.57 1.09 1.12 1.06 0.00 2.68 -0.01 0.71

time (sec)

N/A 0.265 0.228 0.017 1.042 1.303 0.000 0.421 0.000 0.974

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

195 195 108 225 251 213 0 406 -1 134

N.S.

1 1.00 0.55 1.15 1.29 1.09 0.00 2.08 -0.01 0.69

time (sec)

N/A 0.263 0.237 0.017 1.060 0.810 0.000 0.324 0.000 1.205

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

195 195 108 246 297 229 0 452 -1 134

N.S.

1 1.00 0.55 1.26 1.52 1.17 0.00 2.32 -0.01 0.69

time (sec)

N/A 0.268 0.253 0.017 1.072 0.793 0.000 0.345 0.000 1.356

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

195 195 108 267 348 243 0 489 -1 134

N.S.

1 1.00 0.55 1.37 1.78 1.25 0.00 2.51 -0.01 0.69

time (sec)

N/A 0.262 0.259 0.019 1.074 2.063 0.000 0.332 0.000 1.891

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

120 120 60 95 96 73 0 68 -1 75

N.S.

1 1.00 0.50 0.79 0.80 0.61 0.00 0.57 -0.01 0.62

time (sec)

N/A 0.136 0.117 0.012 0.974 0.710 0.000 0.194 0.000 0.598

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 55 79 80 68 0 63 -1 70

N.S.

1 1.00 0.54 0.78 0.79 0.67 0.00 0.62 -0.01 0.69

time (sec)

N/A 0.080 0.073 0.006 0.963 0.679 0.000 0.196 0.000 0.541

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

126 126 81 92 99 115 0 119 -1 107

N.S.

1 1.00 0.64 0.73 0.79 0.91 0.00 0.94 -0.01 0.85

time (sec)

N/A 0.210 0.102 0.008 0.981 0.842 0.000 0.232 0.000 0.525

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

126 126 88 96 103 133 0 339 -1 114

N.S.

1 1.00 0.70 0.76 0.82 1.06 0.00 2.69 -0.01 0.90

time (sec)

N/A 0.202 0.115 0.012 0.980 1.323 0.000 0.402 0.000 0.767

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

128 128 88 102 114 149 0 248 -1 114

N.S.

1 1.00 0.69 0.80 0.89 1.16 0.00 1.94 -0.01 0.89

time (sec)

N/A 0.208 0.129 0.012 0.984 1.514 0.000 0.255 0.000 0.704

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

135 135 88 109 131 163 0 285 -1 114

N.S.

1 1.00 0.65 0.81 0.97 1.21 0.00 2.11 -0.01 0.84

time (sec)

N/A 0.205 0.149 0.014 1.003 1.696 0.000 0.257 0.000 0.763

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

139 139 81 116 149 125 0 164 -1 83

N.S.

1 1.00 0.58 0.83 1.07 0.90 0.00 1.18 -0.01 0.60

time (sec)

N/A 0.191 0.135 0.013 1.024 0.860 0.000 0.283 0.000 0.783

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 74 132 114 102 0 72 -1 80

N.S.

1 1.00 0.60 1.06 0.92 0.82 0.00 0.58 -0.01 0.65

time (sec)

N/A 0.152 0.470 0.017 0.972 0.936 0.000 0.225 0.000 0.647

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 60 115 97 97 0 67 -1 75

N.S.

1 1.00 0.58 1.12 0.94 0.94 0.00 0.65 -0.01 0.73

time (sec)

N/A 0.102 0.185 0.007 0.970 1.442 0.000 0.216 0.000 0.600

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 55 98 80 92 0 62 -1 70

N.S.

1 1.00 0.67 1.20 0.98 1.12 0.00 0.76 -0.01 0.85

time (sec)

N/A 0.055 0.131 0.008 0.952 1.647 0.000 0.219 0.000 0.599

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 86 148 99 149 0 118 -1 107

N.S.

1 1.00 0.85 1.47 0.98 1.48 0.00 1.17 -0.01 1.06

time (sec)

N/A 0.151 0.354 0.011 0.977 1.167 0.000 0.396 0.000 0.528

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

108 108 104 152 116 157 0 225 -1 114

N.S.

1 1.00 0.96 1.41 1.07 1.45 0.00 2.08 -0.01 1.06

time (sec)

N/A 0.153 0.323 0.011 1.007 1.153 0.000 0.423 0.000 0.630

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

112 112 84 144 149 126 0 220 -1 83

N.S.

1 1.00 0.75 1.29 1.33 1.12 0.00 1.96 -0.01 0.74

time (sec)

N/A 0.146 0.298 0.013 0.985 1.198 0.000 0.247 0.000 0.588

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

137 137 95 151 217 141 0 271 -1 88

N.S.

1 1.00 0.69 1.10 1.58 1.03 0.00 1.98 -0.01 0.64

time (sec)

N/A 0.204 0.158 0.014 1.007 1.075 0.000 0.292 0.000 0.678

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

105 105 65 180 219 122 0 71 -1 80

N.S.

1 1.00 0.62 1.71 2.09 1.16 0.00 0.68 -0.01 0.76

time (sec)

N/A 0.131 0.687 0.023 0.983 1.081 0.000 0.216 0.000 0.675

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 60 163 202 117 0 66 -1 75

N.S.

1 1.00 0.70 1.90 2.35 1.36 0.00 0.77 -0.01 0.87

time (sec)

N/A 0.082 0.253 0.008 0.967 0.923 0.000 0.206 0.000 0.867

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 55 146 185 112 0 62 -1 70

N.S.

1 1.00 0.81 2.15 2.72 1.65 0.00 0.91 -0.01 1.03

time (sec)

N/A 0.052 0.229 0.007 0.983 0.933 0.000 0.304 0.000 0.614

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

85 85 80 190 110 126 0 92 -1 76

N.S.

1 1.00 0.94 2.24 1.29 1.48 0.00 1.08 -0.01 0.89

time (sec)

N/A 0.128 0.470 0.009 0.968 0.836 0.000 0.229 0.000 0.657

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 92 194 127 141 0 206 -1 88

N.S.

1 1.00 0.84 1.76 1.15 1.28 0.00 1.87 -0.01 0.80

time (sec)

N/A 0.153 0.408 0.011 1.006 1.237 0.000 0.399 0.000 0.802

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

135 135 97 200 178 155 0 228 -1 93

N.S.

1 1.00 0.72 1.48 1.32 1.15 0.00 1.69 -0.01 0.69

time (sec)

N/A 0.221 0.310 0.013 0.998 1.100 0.000 0.265 0.000 0.757

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 89 207 246 170 0 279 -1 98

N.S.

1 1.00 0.56 1.29 1.54 1.06 0.00 1.74 -0.01 0.61

time (sec)

N/A 0.283 0.236 0.014 1.013 0.722 0.000 0.280 0.000 0.863

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

354 354 316 1406 0 1373 0 465 -1 425

N.S.

1 1.00 0.89 3.97 0.00 3.88 0.00 1.31 -0.00 1.20

time (sec)

N/A 0.377 1.145 0.015 0.000 95.075 0.000 0.306 0.000 2.611

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F(-1) A F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

353 353 319 1453 0 1385 0 488 -1 0

N.S.

1 1.00 0.90 4.12 0.00 3.92 0.00 1.38 -0.00 0.00

time (sec)

N/A 0.386 1.111 0.018 0.000 78.227 0.000 0.448 0.000 180.013

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

588 588 537 5924 2292 4795 0 10960 4341 0

N.S.

1 1.00 0.91 10.07 3.90 8.15 0.00 18.64 7.38 0.00

time (sec)

N/A 0.364 0.382 0.076 0.745 0.940 0.000 0.621 8.392 0.232

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

432 432 391 3222 1414 2796 0 6223 2625 0

N.S.

1 1.00 0.91 7.46 3.27 6.47 0.00 14.41 6.08 0.00

time (sec)

N/A 0.243 0.242 0.035 0.641 1.367 0.000 0.392 6.050 0.169

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

292 292 261 1504 788 1448 0 3098 1425 0

N.S.

1 1.00 0.89 5.15 2.70 4.96 0.00 10.61 4.88 0.00

time (sec)

N/A 0.189 0.169 0.016 0.548 0.783 0.000 0.266 5.087 0.124

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

528 528 488 1244 0 3480 0 657 1027 0

N.S.

1 1.00 0.92 2.36 0.00 6.59 0.00 1.24 1.95 0.00

time (sec)

N/A 1.312 1.079 0.019 0.000 0.870 0.000 0.220 6.175 0.001

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

765 765 754 1960 0 2643 0 982 2779 0

N.S.

1 1.00 0.99 2.56 0.00 3.45 0.00 1.28 3.63 0.00

time (sec)

N/A 5.825 0.731 0.013 0.000 1.750 0.000 0.177 7.261 0.001

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 85 166 177 97 0 92 221 99

N.S.

1 1.00 0.41 0.80 0.85 0.47 0.00 0.44 1.06 0.48

time (sec)

N/A 0.352 0.305 0.033 0.990 0.760 0.000 0.210 6.306 1.342

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 75 132 143 87 0 82 187 89

N.S.

1 1.00 0.45 0.80 0.86 0.52 0.00 0.49 1.13 0.54

time (sec)

N/A 0.203 0.189 0.010 0.973 0.817 0.000 0.203 6.009 0.872

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 65 98 109 77 0 72 153 79

N.S.

1 1.00 0.52 0.79 0.88 0.62 0.00 0.58 1.23 0.64

time (sec)

N/A 0.116 0.100 0.007 0.959 0.651 0.000 0.189 5.378 0.672

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F A F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

187 187 189 403 500 304 0 144 -1 234

N.S.

1 1.00 1.01 2.16 2.67 1.63 0.00 0.77 -0.01 1.25

time (sec)

N/A 0.355 0.895 0.090 1.173 1.016 0.000 0.265 0.000 0.601

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

199 199 354 1084 0 378 0 0 -1 431

N.S.

1 1.00 1.78 5.45 0.00 1.90 0.00 0.00 -0.01 2.17

time (sec)

N/A 0.250 1.276 0.032 0.000 0.958 0.000 0.000 0.000 0.743

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

213 213 334 2342 0 390 0 378 -1 608

N.S.

1 1.00 1.57 11.00 0.00 1.83 0.00 1.77 -0.00 2.85

time (sec)

N/A 0.237 1.397 0.031 0.000 0.993 0.000 0.262 0.000 1.056

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

231 231 95 185 206 107 0 102 -1 109

N.S.

1 1.00 0.41 0.80 0.89 0.46 0.00 0.44 -0.00 0.47

time (sec)

N/A 0.364 0.418 0.036 1.005 0.865 0.000 0.235 0.000 1.288

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 85 151 172 97 0 92 -1 99

N.S.

1 1.00 0.45 0.80 0.91 0.51 0.00 0.49 -0.01 0.52

time (sec)

N/A 0.227 0.251 0.010 0.984 0.819 0.000 0.216 0.000 1.046

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 75 117 138 87 0 82 -1 89

N.S.

1 1.00 0.51 0.80 0.94 0.59 0.00 0.56 -0.01 0.61

time (sec)

N/A 0.130 0.148 0.008 0.957 0.817 0.000 0.204 0.000 0.900

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F A F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

210 210 202 730 535 326 0 154 -1 254

N.S.

1 1.00 0.96 3.48 2.55 1.55 0.00 0.73 -0.00 1.21

time (sec)

N/A 0.304 0.938 0.020 1.310 0.644 0.000 0.282 0.000 0.873

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

222 222 354 1828 0 378 0 0 -1 451

N.S.

1 1.00 1.59 8.23 0.00 1.70 0.00 0.00 -0.00 2.03

time (sec)

N/A 0.322 1.833 0.023 0.000 0.695 0.000 0.000 0.000 1.030

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 376 3828 0 447 0 0 -1 636

N.S.

1 1.00 1.61 16.36 0.00 1.91 0.00 0.00 -0.00 2.72

time (sec)

N/A 0.319 2.239 0.022 0.000 0.741 0.000 0.000 0.000 1.182

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

185 185 75 147 148 87 0 82 -1 89

N.S.

1 1.00 0.41 0.79 0.80 0.47 0.00 0.44 -0.01 0.48

time (sec)

N/A 0.312 0.252 0.026 0.994 0.991 0.000 0.245 0.000 0.942

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 65 113 114 77 0 72 -1 79

N.S.

1 1.00 0.45 0.79 0.80 0.54 0.00 0.50 -0.01 0.55

time (sec)

N/A 0.203 0.143 0.010 0.974 0.694 0.000 0.392 0.000 0.674

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 55 79 80 67 0 62 -1 69

N.S.

1 1.00 0.54 0.78 0.79 0.66 0.00 0.61 -0.01 0.68

time (sec)

N/A 0.145 0.080 0.009 0.964 0.785 0.000 0.220 0.000 0.561

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B B F A F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

164 164 157 204 465 297 0 125 -1 211

N.S.

1 1.00 0.96 1.24 2.84 1.81 0.00 0.76 -0.01 1.29

time (sec)

N/A 0.230 0.467 0.019 1.138 0.415 0.000 0.275 0.000 0.464

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

178 178 313 510 0 330 0 276 -1 352

N.S.

1 1.00 1.76 2.87 0.00 1.85 0.00 1.55 -0.01 1.98

time (sec)

N/A 0.196 0.999 0.021 0.000 0.576 0.000 0.279 0.000 0.621

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

227 227 371 1194 0 390 0 378 -1 437

N.S.

1 1.00 1.63 5.26 0.00 1.72 0.00 1.67 -0.00 1.93

time (sec)

N/A 0.271 1.175 0.021 0.000 0.851 0.000 0.322 0.000 0.945

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 75 166 148 112 0 81 -1 89

N.S.

1 1.00 0.45 1.00 0.89 0.67 0.00 0.49 -0.01 0.54

time (sec)

N/A 0.241 0.433 0.030 0.989 0.845 0.000 0.261 0.000 0.712

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 65 132 114 102 0 71 -1 79

N.S.

1 1.00 0.52 1.06 0.92 0.82 0.00 0.57 -0.01 0.64

time (sec)

N/A 0.161 0.266 0.008 0.968 0.872 0.000 0.248 0.000 0.951

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 55 98 80 92 0 62 -1 69

N.S.

1 1.00 0.67 1.20 0.98 1.12 0.00 0.76 -0.01 0.84

time (sec)

N/A 0.087 0.150 0.007 0.958 0.701 0.000 0.215 0.000 0.675

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F A F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 174 489 777 333 0 112 -1 199

N.S.

1 1.00 1.05 2.95 4.68 2.01 0.00 0.67 -0.01 1.20

time (sec)

N/A 0.216 1.135 0.018 1.155 0.776 0.000 0.248 0.000 0.621

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F A F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

215 215 351 1214 0 392 0 295 -1 416

N.S.

1 1.00 1.63 5.65 0.00 1.82 0.00 1.37 -0.00 1.93

time (sec)

N/A 0.316 1.138 0.020 0.000 0.618 0.000 0.275 0.000 0.951

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

250 250 381 2600 0 452 0 397 -1 611

N.S.

1 1.00 1.52 10.40 0.00 1.81 0.00 1.59 -0.00 2.44

time (sec)

N/A 0.324 1.586 0.024 0.000 1.170 0.000 0.323 0.000 1.319

[next] [prev] [prev-tail] [front] [up]